定理：各k-tape TMをシミュレートするO(T^2)時間の2-tape oblivious TMが存在する